class A[F[_], X <: F[Int]](x: X) extends AnyVal